Definition eines Akzeptors
Ein Akzeptor ist (mindestens) ein 5-Tupel
A=(Q,\Sigma , \delta , q_0, F) mit
Q: eine endliche Menge von Zuständen
\Sigma: das Eingabealphabet
\delta: die Übergangsfunktion \delta : Q\times \Sigma \rightarrow Q
q_0\in Q: der Startzustand
F\subseteq Q: die akzeptierenden Zustände